Drechsler, Ulrich : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (43)
Les plus populaires
Liste
- Liste
- Tableau

1

Formal Modeling and Verification of Cyber-Physical Systems || Physical Safety in Robotics

Drechsler, Rolf, Kühne, Ulrich

Année:

2015

Langue:

english

Fichier:

PDF, 1021 KB

english, 2015

2

[ACM Press the 21st edition of the great lakes symposium - Lausanne, Switzerland (2011.05.02-2011.05.04)] Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI - GLSVLSI '11 - Simulation-based equivalence checking between SystemC models at different levels of abstraction

Große, Daniel, Groß, Markus, Kühne, Ulrich, Drechsler, Rolf

Année:

2011

Langue:

english

Fichier:

PDF, 421 KB

english, 2011

3

Expression of HMGI-C, a member of the high mobility group protein family, in a subset of breast cancers: Relationship to histologic grade

Piere Rogalla, Klaus Drechsler, Bernd Kazmierczak, Volkhard Rippe, Ulrich Bonk, Jörn Bullerdiek

Journal:

Molecular Carcinogenesis

Année:

1997

Langue:

english

Fichier:

PDF, 88 KB

english, 1997

4

Eine STM-Untersuchung chemisch abgeschiedener Silber-Nanocluster auf gemischten selbstorganisierten Monoschichten

Ulrich-Walter Grummt, Matthias Geißler, Till Drechsler, Harald Fuchs, Ralf Staub

Journal:

Angewandte Chemie

Année:

1998

Langue:

german

Fichier:

PDF, 117 KB

german, 1998

5

An STM Study of Chemically Deposited Silver Nanoclusters on Mixed Self-Assembled Monolayers

Ulrich-Walter Grummt, Matthias Geissler, Till Drechsler, Harald Fuchs, Ralf Staub

Journal:

Angewandte Chemie International Edition

Année:

1998

Langue:

english

Fichier:

PDF, 147 KB

english, 1998

6

Characterization of cellulose in solvent mixtures with N-methylmorpholine-N-oxide by static light scattering

Ulrich Drechsler, Sylvia Radosta, Waltraud Vorwerg

Journal:

Macromolecular Chemistry and Physics

Année:

2000

Langue:

english

Fichier:

PDF, 114 KB

english, 2000

7

Selbstaggregation in einem bipolaren Phospholipid-Wasser-System: die Bildung von Nanofasern und Hydrogelen

Karen Köhler, Günter Förster, Anton Hauser, Bodo Dobner, Ulrich F. Heiser, Friederike Ziethe, Walter Richter, Frank Steiniger, Markus Drechsler, Heiko Stettin, Alfred Blume

Journal:

Angewandte Chemie

Année:

2004

Langue:

german

Fichier:

PDF, 143 KB

german, 2004

8

Self-Assembly in a Bipolar Phosphocholine–Water System: The Formation of Nanofibers and Hydrogels

Karen Köhler, Günter Förster, Anton Hauser, Bodo Dobner, Ulrich F. Heiser, Friederike Ziethe, Walter Richter, Frank Steiniger, Markus Drechsler, Heiko Stettin, Alfred Blume

Journal:

Angewandte Chemie International Edition

Année:

2004

Langue:

english

Fichier:

PDF, 142 KB

english, 2004

9

Molecular definition of chromosome arm 5q deletion end points and detection of hidden aberrations in patients with myelodysplastic syndromes and isolated del(5q) using oligonucleotide array CGH

Christina Evers, Manfred Beier, Anne Poelitz, Barbara Hildebrandt, Kati Servan, Matthias Drechsler, Ulrich Germing, Hans-Dieter Royer, Brigitte Royer-Pokora

Journal:

Genes, Chromosomes and Cancer

Année:

2007

Langue:

english

Fichier:

PDF, 424 KB

english, 2007

10

Korrosionsuntersuchungen an Reaktorwerkstoffen in strömender Natriumschmelze bei hohen Temperaturen

Hans Ulrich Borgstedt, Günther Drechsler, Günter Frees

Journal:

Materials and Corrosion/Werkstoffe und Korrosion

Année:

1967

Langue:

german

Fichier:

PDF, 476 KB

german, 1967

11

Fusion ofH4/D10S170toPDGFRβin a patient with chronic myelomonocytic leukemia and long-term responsiveness to imatinib

Matthias Drechsler, Barbara Hildebrandt, Andrea Kündgen, Ulrich Germing, Brigitte Royer-Pokora

Journal:

Annals of Hematology

Année:

2007

Langue:

english

Fichier:

PDF, 88 KB

english, 2007

12

Direct Synthesis of Inverse Hexagonally Ordered Diblock Copolymer/Polyoxometalate Nanocomposite Films

Lunkenbein, Thomas, Kamperman, Marleen, Li, Zihui, Bojer, Carina, Drechsler, Markus, Förster, Stephan, Wiesner, Ulrich, Müller, Axel H. E., Breu, Josef

Journal:

Journal of the American Chemical Society

Année:

2012

Langue:

english

Fichier:

PDF, 1.87 MB

english, 2012

13

[IEEE Systems (DDECS) - Cottbus, Germany (2011.04.13-2011.04.15)] 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems - Automatic property generation for the formal verification of bus bridges

Soeken, Mathias, Kuhne, Ulrich, Freibothe, Martin, Fe, Gorschwin, Drechsler, Rolf

Année:

2011

Langue:

english

Fichier:

PDF, 719 KB

english, 2011

14

Temperature-Dependent Behavior of a Symmetric Long-Chain Bolaamphiphile with Phosphocholine Headgroups in Water: From Hydrogel to Nanoparticles

Köhler, Karen, Förster, Günter, Hauser, Anton, Dobner, Bodo, Heiser, Ulrich F., Ziethe, Friederike, Richter, Walter, Steiniger, Frank, Drechsler, Markus, Stettin, Heiko, Blume, Alfred

Journal:

Journal of the American Chemical Society

Année:

2004

Langue:

english

Fichier:

PDF, 1.08 MB

english, 2004

15

[IEEE 2008 Ninth International Workshop on Microprocessor Test and Verification - Austin, TX, USA (2008.12.8-2008.12.10)] 2008 Ninth International Workshop on Microprocessor Test and Verification - Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow

Kühne, Ulrich, Große, Daniel, Drechsler, Rolf

Année:

2008

Langue:

english

Fichier:

PDF, 247 KB

english, 2008

16

[IEEE IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07) - Porto Alegre, Brazil (2007.03.9-2007.03.11)] IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07) - Improving the Quality of Bounded Model Checking by Means of Coverage Estimation

Kuhne, Ulrich, Grobe, Daniel, Drechsler, Rolf

Année:

2007

Langue:

english

Fichier:

PDF, 207 KB

english, 2007

17

[IEEE 2005 Sixth International Workshop on Microprocessor Test and Verification - Austin, TX, USA (2005.11.3-2005.11.3)] 2005 Sixth International Workshop on Microprocessor Test and Verification - HW/SW Co-Verification of a RISC CPU using Bounded Model Checking

Grosse, Daniel, Kuhne, Ulrich, Drechsler, Rolf

Année:

2006

Langue:

english

Fichier:

PDF, 129 KB

english, 2006

18

[IEEE 2009 IEEE/IFIP International Symposium on Rapid System Prototyping (RSP) - Paris, France (2009.06.23-2009.06.26)] 2009 IEEE/IFIP International Symposium on Rapid System Prototyping - WoLFram- A Word Level Framework for Formal Verification

Sülflow, André, Kühne, Ulrich, Fey, Görschwin, Große, Daniel, Drechsler, Rolf

Année:

2009

Langue:

english

Fichier:

PDF, 441 KB

english, 2009

19

[IEEE 2011 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops - Newport Beach, CA, USA (2011.03.28-2011.03.31)] 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops - Towards Dependability-Aware Design of Hardware Systems Using Extended Program State Machines

Gruttner, Kim, Herrholz, Andreas, Kuhne, Ulrich, Grosse, Daniel, Rettberg, Achim, Nebel, Wolfgang, Drechsler, Rolf

Année:

2011

Langue:

english

Fichier:

PDF, 262 KB

english, 2011

20

[IEEE 2006 IEEE Dallas/CAS Workshop on Design, Applications, Integration and Software - Univ. of Texas at Dallas, Richardson, TX, USA (2006.10.29-2006.10.30)] 2006 IEEE Dallas/CAS Workshop on Design, Applications, Integration and Software - Complete Formal Verification of Multi Core Embedded Systems Using Bounded Model Checking

Kuhne, Ulrich, GroBe, Daniel, Drechsler, Rolf

Année:

2006

Langue:

english

Fichier:

PDF, 101 KB

english, 2006

21

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - Estimating Functional Coverage in Bounded Model Checking

Grosse, Daniel, Kuhne, Ulrich, Drechsler, Rolf

Année:

2007

Langue:

english

Fichier:

PDF, 184 KB

english, 2007

22

Regulation of Blood Coagulation Factors XI and XII in Patients with Acute and Chronic Cerebrovascular Disease: A Case-Control Study

Kraft, Peter, Drechsler, Christiane, Gunreben, Ignaz, Heuschmann, Peter Ulrich, Kleinschnitz, Christoph

Journal:

Cerebrovascular Diseases

Année:

2014

Langue:

english

Fichier:

PDF, 160 KB

english, 2014

23

Formal Modeling and Verification of Cyber-Physical Systems || Model Checking and Model-Based Testing in the Railway Domain

Drechsler, Rolf, Kühne, Ulrich

Année:

2015

Langue:

english

Fichier:

PDF, 602 KB

english, 2015

24

Formal Modeling and Verification of Cyber-Physical Systems ||

Drechsler, Rolf, Kühne, Ulrich

Année:

2015

Langue:

english

Fichier:

PDF, 5.89 MB

english, 2015

25

Formal Modeling and Verification of Cyber-Physical Systems || Analyzing and Simulating Time Descriptions from UML/MARTE CCSL

Drechsler, Rolf, Kühne, Ulrich

Année:

2015

Langue:

english

Fichier:

PDF, 248 KB

english, 2015

26

Formal Modeling and Verification of Cyber-Physical Systems || Design and Synthesis of Reversible Circuits using Hardware Description Languages

Drechsler, Rolf, Kühne, Ulrich

Année:

2015

Langue:

english

Fichier:

PDF, 208 KB

english, 2015

27

Formal Modeling and Verification of Cyber-Physical Systems || Advances in Design Automation Techniques for Digital-Microfluidic Biochips

Drechsler, Rolf, Kühne, Ulrich

Année:

2015

Langue:

english

Fichier:

PDF, 1.65 MB

english, 2015

28

[ACM Press the 16th ACM Great Lakes symposium - Philadelphia, PA, USA (2006.04.30-2006.05.01)] Proceedings of the 16th ACM Great Lakes symposium on VLSI - GLSVLSI '06 - HW/SW co-verification of embedded systems using bounded model checking

Groβe, Daniel, Kühne, Ulrich, Drechsler, Rolf

Année:

2006

Langue:

english

Fichier:

PDF, 149 KB

english, 2006

29

[ACM Press the 52nd Annual Design Automation Conference - San Francisco, California (2015.06.07-2015.06.11)] Proceedings of the 52nd Annual Design Automation Conference on - DAC '15 - A generic representation of CCSL time constraints for UML/MARTE models

Peters, Judith, Wille, Robert, Przigoda, Nils, Kühne, Ulrich, Drechsler, Rolf

Année:

2015

Langue:

english

Fichier:

PDF, 180 KB

english, 2015

30

Formal Modeling and Verification of Cyber-Physical Systems || Development of Consistent Formal Models

Drechsler, Rolf, Kühne, Ulrich

Année:

2015

Langue:

english

Fichier:

PDF, 219 KB

english, 2015

31

Formal Modeling and Verification of Cyber-Physical Systems || Verification of Embedded Real-time Systems

Drechsler, Rolf, Kühne, Ulrich

Année:

2015

Langue:

english

Fichier:

PDF, 458 KB

english, 2015

32

[IEEE 2014 Forum on Specification and Design Languages (FDL) - Munich, Germany (2014.10.14-2014.10.16)] Proceedings of the 2014 Forum on Specification and Design Languages (FDL) - Automatic refinement checking for formal system models

Seiter, Julia, Wille, Robert, Kühne, Ulrich, Drechsler, Rolf

Année:

2014

Langue:

english

Fichier:

PDF, 291 KB

english, 2014

33

Formal Modeling and Verification of Cyber-Physical Systems || Modeling Unknown Values in Test and Verification

Drechsler, Rolf, Kühne, Ulrich

Année:

2015

Langue:

english

Fichier:

PDF, 553 KB

english, 2015

34

[IEEE 2015 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Montpellier, France (2015.7.8-2015.7.10)] 2015 IEEE Computer Society Annual Symposium on VLSI - Recurrence Relations Revisited: Scalable Verification of Bit Level Multiplier Circuits

Sayed-Ahmed, Amr, Kuhne, Ulrich, Grosse, Daniel, Drechsler, Rolf

Année:

2015

Langue:

english

Fichier:

PDF, 195 KB

english, 2015

35

[IEEE 2015 International Symposium on Rapid System Prototyping (RSP) - Amsterdam, Netherlands (2015.10.8-2015.10.9)] 2015 International Symposium on Rapid System Prototyping (RSP) - Ensuring safety and reliability of IP-based system design – A container approach

Chandrasekharan, Arun, Schmitz, Kenneth, Kuhne, Ulrich, Drechsler, Rolf

Année:

2015

Langue:

english

Fichier:

PDF, 458 KB

english, 2015

36

[IEEE 2014 Forum on Specification and Design Languages (FDL) - Munich, Germany (2014.10.14-2014.10.16)] Proceedings of the 2014 Forum on Specification and Design Languages (FDL) - Verifying consistency between activity diagrams and their corresponding OCL contracts

Hilken, Christoph, Seiter, Julia, Wille, Robert, Kühne, Ulrich, Drechsler, Rolf

Année:

2014

Langue:

english

Fichier:

PDF, 303 KB

english, 2014

37

Relationship between sclerostin and cardiovascular calcification in hemodialysis patients: a cross-sectional study

Brandenburg, Vincent M, Kramann, Rafael, Koos, Ralf, Krüger, Thilo, Schurgers, Leon, Mühlenbruch, Georg, Hübner, Sinah, Gladziwa, Ulrich, Drechsler, Christiane, Ketteler, Markus

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 646 KB

english, 2013

38

[IEEE 2016 13th International Multi-Conference on Systems, Signals & Devices (SSD) - Leipzig, Germany (2016.3.21-2016.3.24)] 2016 13th International Multi-Conference on Systems, Signals & Devices (SSD) - Acoustic emission for state-of-health determination in power modules

Muller, Sebastian, Drechsler, Chris, Heinkel, Ulrich, Herold, Christian

Année:

2016

Langue:

english

Fichier:

PDF, 858 KB

english, 2016

39

[IEEE 2016 13th International Multi-Conference on Systems, Signals & Devices (SSD) - Leipzig (2016.3.21-2016.3.24)] 2016 13th International Multi-Conference on Systems, Signals & Devices (SSD) - Relative localisation of passive UHF-tags by phase tracking

Wegener, Marten, Fros, Daniel, Rosler, Marko, Drechsler, Chris, Patz, Christian, Heinkel, Ulrich

Année:

2016

Langue:

english

Fichier:

PDF, 744 KB

english, 2016

40

Laser-based ion source for mass spectrometry and laser spectroscopy of negative ions

Boesl, Ulrich, Bäßmann, Carsten, Drechsler, Gerhard, Distelrath, Volker

Journal:

European Journal of Mass Spectrometry

Année:

1999

Langue:

english

Fichier:

PDF, 215 KB

english, 1999

41

Homoarginine and Progression of Chronic Kidney Disease: Results from the Mild to Moderate Kidney Disease Study

Drechsler, Christiane, Kollerits, Barbara, Meinitzer, Andreas, März, Winfried, Ritz, Eberhard, König, Paul, Neyer, Ulrich, Pilz, Stefan, Wanner, Christoph, Kronenberg, Florian, Herder, Christian

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 157 KB

english, 2013

42

Preparation and Characterization of Water-Soluble Xylan Ethers

Hettrich, Kay, Drechsler, Ulrich, Loth, Fritz, Volkert, Bert

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 2.70 MB

english, 2017

43

AIP Conference Proceedings [AIP Resonance ionization spectroscopy 1996: Eighth international symposium - State College, Pennsylvania (USA) (30 Jun - 5 Jul 1996)] - Resonance photoelectron spectroscopy (ZEKE) of negatively charged molecules and molecular cluster: Spectral resolution

Bäßmann, Carsten, Drechsler, Gerhard, Käsmeier, Rainer, Boesl, Ulrich

Année:

1997

Fichier:

PDF, 511 KB

1997